A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Quantum Chemical Calculations and Experimental Studies on 2,3-Diphenyl-tetrazole-5-thione

1 INTRODUCTION Many substituted tetrazoles show a variety of interesting properties. For instance, they exhibit certain types of physiological activity by affecting the nervous system in a number of ways[1]. They are commonly used as good weed killers in…     

Effect of annealing on the viscoelastic and viscoplastic responses of low‐density polyethylene

Two series of tensile tests with constant crosshead speeds (ranging from 5 to 200 mm/min) and tensile relaxation tests (at strains from 0.03 to 0.09) were performed on low‐density polyethylene in the subyield region of deformations at room temperature. Mechanical tests were carried out on nonannealed specimens and on samples annealed for 24 h at the temperatures T = 50, 60, 70, 80, and 100 °C. Constitutive equations were derived for the time‐dependent response of semicrystalline polymers at isothermal deformations with small strains. A polymer is treated as an equivalent heterogeneous network of chains bridged by temporary junctions (entanglements, physical crosslinks, and lamellar blocks). The network is thought of as an ensemble of mesoregions linked with each other. The viscoelastic behavior of a polymer is modeled as a thermally induced rearrangement of strands (separation of active strands from temporary junctions and merging of dangling strands with the network). The viscoplastic response reflects sliding of junctions in the network with respect to their reference positions driven by macrostrains. Stress‐strain relations involve five material constants that were found by fitting the observations. Fair agreement was demonstrated between the experimental data and the results of numerical simulation. This study focuses on the effects of strain rate and annealing temperature on the adjustable parameters in the constitutive equations. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 1638–1655, 2003     

Aggregation structure and mechanical properties of functionally graded polyurethane elastomers

Functionally graded polyurethane elastomers (FGPUEs) were prepared with two molds fixed at different temperatures (30 and 150 °C). The effects of the molar ratio of the curing agent (60/40, 75/25, or 97/3 1,4‐butane diol/1,1,1‐trimethylol propane) and the molecular weight of the polymer glycol (number‐average molecular weight = 2000 or 3000) on the molecular aggregation state and mechanical properties of the FGPUEs were investigated with differential scanning calorimetry, polarized optical microscopy, dynamic viscoelastic measurements, and tensile tests. The aggregation state of the FGPUEs was changed continuously from the one side (lower temperature side) to the other side (higher temperature side); for example, the glass‐transition temperature gradually increased in this direction. Also, the number of spherulites formed in the FGPUEs increased in the same manner. In the mechanical tests, the tensile strength and elongation at break of the lower temperature side were higher than those of the higher temperature side. This was correlated with the strong phase separation of the lower temperature side. The poly(oxytetramethylene glycol)‐based FGPUE with a chain extender of 75 wt % showed the largest degree of the temperature gradient. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 2355–2363, 2003     

Banach空间具有Banach—Saks性质的一个充分条件

本文的目标是利用凸性指标给出Ｂａｎａｃｈ空间具有Ｂａｎａｃｈ－Ｓａｋｅ性质的一个充分条件，从而推广Ｋａｎｋｕｔａｎｉ定理。     

An ergodic theorem for asymptotically nonexpansive mappings in the intermediate sense

This paper is concerned with an ergodic theorem for asymptotically nonexpansive mappings in the intermediate sense in Banach spaces.

     

Stability Concepts in Topological Dynamics by Nonstandard Methods

It is known that it is not possible to introduce C⁰ -structural stability for whole systems in topological dynamics. Using the methods of Nonstandard Analysis, we suggest four different purely topological stability concepts for dynamical systems on compact subsets of Rⁿ. Classically these amount to considering the space of all systems on a given subset of Rⁿ as the fundamental entity when deforming a continuous system (instead of the space of all continuous systems as is normally done in topological dynamics). For two of the introduced stability concepts, we will show that all minimal flows are stable in this sense. Besides this, we will show that one of our stability concepts is related to what is called the pseudo orbit tracing property in a recently published book by Aoki and Hiraide and compare some of our results to the theory of dynamical systems as presented there.     

THE ANALYTIC KREIN-MILMAN PROPERTY IN BANACH SPACES

In[1],A.V.BuknvalovandA.A.Danilevichhaveintroducedtheanalyticcordon--NikodylllpropertyincompleXBanacllspacesastheanalyticallalogueoftilewellknowllRadoll-NikodylllpropertyconcerningtherealgeometricalstrllcturesofBanachspaces.LetXbeacomplexBanachspace,XissaidtohavetheanalyticRadon--Nikodymproperty(analyticRNP,illshort)ifforeveryuniformlyboundedanalyticfunctiollffromtheopenunitdiscDofCwitllvaluesinX,f:D~X,fhasradiallimitsa.e.onthetornsT=={e*':0E[0,Zx]}illX,tllisllleallsthatfora.e.e6[0,…     

三芳基甲烷树脂的合成与表征

芘和苯甲醛，在对甲基苯磺酸作用下，生成了Ｂ阶ＣＯＰＮＡ树脂．用红外光谱、核磁共振氢谱及碳谱对其结构进行了表征．Ｂ阶ＣＯＰＮＡ树脂经在惰性气氛中５００、６００和８００℃的热处理后，得到不溶不熔的ＣＯＰＮＡ树脂．电子自旋共振谱（ＥＳＲ）测试表明，其稳定自由基浓度最高可达２．２８×１０２２ｓｐｉｎｓ／ｇ．